Although there is broad support in the current Brazilian legislation and many curricular documents published in the last three decades, we still face the challenge of the inclusive education in our classrooms. This is a qualitative research in which we investigate the perception of three school pedagogical coordinators about the inclusion of disabled children in regular classes of Elementary and High School of the schools that self-declared favorable to the Inclusive Education. The results suggest perceptions of Inclusive Education with specific (...) goal to comply with current legislation, which aims exclusively at the socialization of the disabled as a target of charity, without great teaching learning goals that allow equal access to school knowledge and continuity of study in the educational system. (shrink)

A etnia Tabajara da Paraíba está passando por um processo de etnogênese e luta para a sua autoafirmação e reconhecimento como povo indígena, bem como lutam pela retomada das suas terras que foram retiradas pelo processo de colonização e devido a ambição dos grandes proprietários de terras. Nesse processo, surge a profecia Tabajara, que traz um avivamento da sua espiritualidade, cultura e ritualística, reagrupando assim, um povo que estava espalhado e afastado das suas origens. O ritual do Toré ganha grande (...) importância, tornando-se imprescindível para os indígenas. O presente trabalho tem como base os autores Eliane Farias e Lusival Barcellos, pesquisadores das etnias indígenas paraibanas. Como objetivo da pesquisa, foi realizada uma breve análise da ritualística Tabajara, entre ela, o ritual do Toré, tendo como base a pesquisa bibliográfica. (shrink)

Neste artigo buscamos refletir acerca de uma ontologia da relação no pensamento de Karl Marx. Tomamos como ponto de partida a obra A Ideologia Alemã. Na filosofia marxiana, a ontologia nasce do pensamento cotidiano, isto é, o sujeito com suas relações passa a primeiro plano na história. Aqui o homem é visto como atividade sensível, e isso significa vê-lo como mescla de teoria e práxis, tendo a vida real, ou a prática, como fundamento constitutivo da teoria, e não o inverso.

O avanço tecnológico envolve e faz parte do cotidiano de todas as pessoas, e a sua influência pode ser direta ou indireta. O que se faz são up-grades com o propósito de conseguir participar deste universo digital. As Tecnologia de Informação e Comunicação (TIC) tem provocado alterações na humanidade, no modo de viver, de se relacionar, aprender, pensar e ensinar. Propõe-se um estudo bibliográfico, baseado em duas grandes obras de Pierre Lévy, um dos grandes pensadores da era da informação: O (...) que é virtual? (2011) e Cibercultura (2010). O artigo está estruturado do seguinte modo: discute a definição de virtual segundo o ponto de vista de Lévy; apresenta a inteligência coletiva e sua influência na sociedade; e enfoca uma nova proposta de aprendizagem, que possibilita o aprendizado por intermédio das atividades sociais e profissionais dos indivíduos. Portanto, a virtualização, além de ser a base de dados e informações, quebra as barreiras do tempo e do espaço, aproxima professores e alunos e lhes fornece ferramentas para a construção do conhecimento, colocando-os nesse produtivo processo de ensino e aprendizagem. (shrink)

According to Schroeder-Heister 2018, proof-theoretic semantics is ‘an alternative to truth-condition semantics. It is based on the fundamental assumption that the central notion in terms of which meanings are assigned to certain expressions of our language, in particular to logical constants, is that of proof rather than truth. In this sense proof-theoretic semantics is semantics in terms of proof. Proof-theoretic semantics also means the semantics of proofs, i.e. the semantics of entities which describe how we arrive at certain assertions given (...) certain assumptions.' This text advocates that proof-theoretic semantics, as described above, was an approach to semantical issues in logic that appeared in mainstream philosophical literature at least a couple of centuries before the tradition of general proof theory (cf. Prawitz 1971) came into being. This is done by means of an interpretive analysis of Kant’s 1762 essay Die falsche Spitzfindigkeit der vier syllogistischen Figuren, in which two theses are argued: first, that the issue of justifying the logical validity of inferences is approached by Kant in this text, in a strong sense, in terms of proofs; and second, that the purpose of his effort is to establish a point concerning the semantical equivalence between certain distinct valid inferences. (shrink)

This article is a methodological discussion of formal approaches to the question of identity of proofs from a philosophical standpoint. First, an introduction to the question of identity of proofs itself is given, followed by a brief reconstruction of the so-called normalisation thesis, proposed by Dag Prawitz in 1971, in which some of its core mathematical and conceptual traits are presented. After that, a comparison between the normalisation thesis and the more well-known Church-Turing thesis on computability is carried out in (...) three main parts: the first dedicated to highlighting some of the analogies between them; the second, their most remarkable differences; and the third, to the possible relations of dependence between the two. Based on these considerations, some concluding remarks concerning the potential of the normalisation thesis and similar approaches to the question of identity of proofs are made in the last section. (shrink)

O presente artigo ocupa-se em refletir sobre os fundamentos da paz entre as religiões presentes no De pace fidei de Nicolau de Cusa. O artigo se divide em cinco momentos onde tentamos partir da contextualização que motivou a escrita da obra até seus desdobramentos filosóficos, políticos e culturais que ocultam/revelam o problema da relação unidade e diversidade. Palavras-chave: Paz. Fé. Ritos. Unidade. Diversidade.

O presente artigo tem por objetivo expor o debate acerca do dinamismo da busca pela verdade absoluta (Deus) a partir da filosofia de Nicolau de Cusa (1401-1464). Mais que pensar sobre a existência ou não de Deus, tema recorrente e central na Filosofia da Idade Média, o filósofo alemão encontrava-se preocupado com a possibilidade do seu conhecimento. Portanto, nesse texto, nosso esforço é explicitar as nuances e o dinamismo presente no pensamento de Nicolau a partir do pressuposto da _nulla proportio_ (...) entre a mente humana que é finita e a verdade absoluta que é infinita. (shrink)

Fruto da experiência proporcionada pela disciplina Estágio Supervisionado III do curso de Licenciatura em Filosofia, Campus Caicó-CaC, da Universidade do Estado do Rio Grande do Norte-UERN, este relato objetiva discutir o ensino de filosofia e a relação do professor de filosofia com a filosofia a partir de uma experiência de docência em filosofia no Ensino Médio.

Este artigo objetiva apresentar os Conselhos de Políticas Públicas como instrumentos de aproximação da sociedade civil com o Estado. Busca-se debater se referidos institutos estão cumprindo de fato com sua função de efetivar o Estado Democrático de Direito. Para tanto, utilizou-se o método analítico-dedutivo, com enfoque em pesquisas bibliográficas e legislativas. Os conselhos, por serem instâncias formais na esfera pública, proporcionam a manifestação democrática por meio da participação ativa da sociedade no exercício de sua cidadania, conquanto seja necessária uma reconfiguração (...) da própria cultura participativa. (shrink)

O autor faz uma breve introdução à Filosofia, essa importante fonte de compreensão do mundo. Num primeiro momento é feita uma breve lembrança da Idade Média, centrada em Deus, para passar em seguida à revolução copernicana no campo do conhecimento humano. O homem passa a ser o centro de explicação do mundo. O eu individual, de caráter racional, ganha grandes proporções em René Descartes, enquanto o mesmo eu é enfocado como o eu que experimenta em Bacon, Galileu, Hobbes, Locke, etc. (...) A nova visão do mundo, da sociedade e do homem é justificada. As relações sociais têm novos fundamentos, o Estado Moderno ganha corpo e se diviniza. [...] Palavras-chave: Deus; Eu individual; Estado moderno; Filósofos; Idade média; Ocidente. (shrink)

Purpose: Performance measurement systems (PMS) in Nonprofit Organizations (NPOs) are more complex than in for-profit organizations. NPOs have an orientation towards social mission and values, and they consider not only organizational efficiency and viability, but also the social impact of the organization. This research provides a comprehensive synthesis of PMSs in NPOs. Design/methodology/approach: Using a literature review, supported by bibliometric and network analyses. A paper set of 240 articles related to this research field is examined. Topics that are the most (...) prevalent in this research area and their interrelationships are identified, presenting an outline of current efforts. Findings: Despite the descriptive analyses for the paper set, a framework is proposed for organizing the design-implementation factors of PMSs in nonprofit organizations, identifying the main requirements for their successful development. Originality/value: Investigation on performance measurement in nonprofit organizations is still in its early stages of development with many opportunities to further develop the field. Conceptual frameworks and models, as well as specific theories, are being generated for this field of research, and the process of adapting models from the general field of performance measurement is taking place. The meta-framework that organizes the main research topics of PMS in nonprofit organizations and the framework that consolidates factors that influence the design-implementation of PMSs in nonprofit organizations developed represents this paper contribution. (shrink)

With respect to De Dreu and Gross's article, we comment on the psychological functions for attack and defense, focusing on associations between individual differences in psychopathic personality traits and the behavioral patterns observed in attack-defense conflicts. We highlight the dimensional nature of psychopathy and formulate hypothetical associations between distinct traits, their different behavioral outcomes, and associated brain mechanisms.

The New Parish, beloved by the most recent church documents, meets several challenges for its renewal, among them the caring for the poor. This commitment, the agape expression of Christ, is fundamental in this world in which the seeds of individualism and neo-paganism are gaining strength. Thus, in an exercise of systematic theology that re-connects biblical theology and pastoral, an important way is to look at the caring for the poor in the example of the Apostle Paul. Paul organized a (...) collection for the saints of the Jerusalem church among the Asian communities, making visible church unity between Jews and Gentiles through charity. It was not only a solidary action, but the experience of Christian love that is given as Thanksgiving to God, He who by his grace saved us first. (shrink)

This book is dedicated to clarify ambiguous concepts from the world of creativity and innovation. One of the initial triggers for the development of the book was the perceived ambiguity of the binomials Design vs. Design Thinking and Innovation vs. Invention. Frequently, designers and innovation consultants are questioned by their clients about the relationships between these kind of concepts. Has the second emerged through the first, or vice-verse? Is one part of the other? Where are the similarities and which are (...) the differences? This conceptual incomprehension makes itself noticeable between many ambiguous concepts in the world of innovation and creativity. What is the difference between Radical and Disruptive Innovation? Or is Social Innovation the same as Social Intervention? And regarding Creativity, are Creativity and Creative Thinking the same? In this book the reader will find answers to these kinds of questions and doubts. 28 authors from 10 different countries and cultural backgrounds are questioning current definitions and perceptions, by comparing different sources and ideas, or simply by giving their personal opinions. Some of the authors have an academic background, others a practical one, being either entrepreneurs, working with innovation in companies, or being innovation/design consultants. (shrink)

The COVID-19 pandemic produced immeasurable impacts on the economy, education, and socialization, besides the loss of millions of lives. Thus, there has been an accelerated development of an unprecedented number of COVID-19 vaccine candidates to control the pandemic. The World Health Organization’s emergency use authorization of COVID-19 vaccines still in clinical trial allowed immunizing the population. This paper presents a perspective of the bioethical precepts of autonomy, non-maleficence, beneficence, and justice in the emergency use of COVID-19 vaccines. Furthermore, it emphasizes (...) the importance of surveillance at all stages of vaccine development to detect adverse effects and ensure compliance with bioethical precepts. (shrink)

As transformações a que as cidades estão sujeitas têm suscitado um discurso ambivalente sobre a cidade, um discurso que tem desenhado, não raras vezes, os seus limites na própria delimitação do espaço físico urbano. No entanto, não devemos esquecer que a revitalização da vida comunitária deverá considerar outras dimensões, compreendendo os patrimónios político, social, arquitectónico e urbanístico. Acima de tudo, a cidade contemporânea de carácter multicultural requer uma renovada urbanidade do pensamento.Propomos, então, uma abordagem que tentará, pela partilha cruzada da (...) arquitectura, do urbanismo e da filosofia, superar um entendimento estritamente utilitário da cidade, de modo a provocar e informar as novas políticas urbanísticas e os seus modelos de gestão, em ordem à civilidade, procurando reforçar o que une os saberes e não o que os separa. (shrink)

O Correio Interceptado, que se compõe de 63 Cartas, fornece ao longo dos seus textos exemplos vários sobre o modo de estar em política. Aí são examinados com crítica espirituosa e intransigente diversos actos do poder político em exercício e tratam-se muitos assuntos de interesse para a história contemporânea. O modelo do periodismo da emigração londrina abriu a via, o arquétipo está agora instalado e projecta-se na produção dos periódicos deste período. Da autoria de José Ferreira Borges, emigrado em Londres, (...) ao mesmo tempo que outros, como Simões Margiochi e Ferreira de Moura, estas Cartas merecem, no campo da crítica da política e no quadro do novo paradigma comunicacional, a maior atenção. (shrink)

O artigo visa discutir o papel que a obra de John Rawls possui para o projeto teórico de Rainer Forst. Trata-se de acompanharas principaisleituras que Forst realiza sobre esse autor e discutir algumas consequências que podem ser delas depreendidas para seu modelo crítico. Assim, em primeiro lugar, discute-se a tentativa de Forst em aproximar os critérios de reciprocidade e universalidade, de seu princípio de justificação, à teoria de Rawls, ao mesmo tempo em que acusa Rawls de que sua configuração da (...) posição original atribui conteúdos substantivos aos princípios de justiça, que, na verdade, só poderiam ser concebidos comoum princípio fundamental de justificação (I). Em seguida, observa-se a leitura que Forst realiza sobre o debate entre Habermas e Rawls, a fim de extrair uma alternativa a ambos. Novamente Forst faz um movimento de aproximação e crítica a Rawls (II). Em um terceiro momento, examina-se outra tentativa de aproximação e superação à obra de Rawls, mas dessa vezatravés da distinção entre duas imagens da justiça(III). Por fim, o artigo apresenta duas interpretações gerais sobe essas leituras: que existem certas constantes nos argumentos que unem e que pretendem superar Rawls; e que contém possíveis problemas,com consequências que ocasionam certos entraves para sua teoriaem sua pretensão de ser crítica. (shrink)

Mapeando brevemente alguns eventos desencadeados pelo período denominado, por alguns cientistas, como Antropoceno, este estudo busca estabelecer um observatório deste período através da ótica do campo das artes, do cinema e da filosofia. Pretende-se compreender como práticas artísticas podem ser concebidas de forma a sublinhar as incoerências referentes à intervenção humana no sistema e na atmosfera terrestre. Para tal, este estudo recruta trabalhos de artistas como Alice Miceli, Andrei Tarkovsky e Jacob Kirkegaard, em suas potencialidades de prevenção, educação e crítica (...) em relação a distintas implicações relacionadas ao desastre nuclear de Chernobyl. Assim, é compreendida a possibilidade de trabalhos de arte em atuar como revisita histórica e análise geo-histórica, bem como meios de potencializar críticas às injustiças provocadas pelo Antropoceno.Palavras-chave: Arte contemporânea; Antropoceno; Energia nuclear; Justiça Climática. (shrink)

O objetivo deste artigo é discutir a noção humiana de "crença", frequentemente vita como adendo "psicológico" à correta doutrina epistemológica do autor. Tenta-se sugerir que são partilha das obsessões da epistemologia contemporânea.

Considering the basic assumption that the modern Law and State theory does not only bear similarities, but also draws true epistemological parallels to theconstructions of Theology, Hans Kelsen intends to lay bare the ideological meaning that lies at the very core of the traditional dualism which constitutes Law and State into autonomous entities. Taking into account Kelsen´s original perceptions – which are seconded by more recent contributions from Claude Lefort and Hans Lindahl’s political and symbolic concepts and from Carl Schmitt’s (...) notions on political theology – our intention is now to demonstrate the highly conservative role played by the duality of the Law/State structure, whose aim is to remove, from under the sway of legal control, a considerable part of the State’s actions.Herebelow, therefore, we will analyse the very legitimacy of the so-called “Public Law,” which seems to point to a trend towards shunning the legal power regulation. Finally, based on the functional method pioneered by Ernst Cassirer, legal institutions such as “collective will” and “public interest” will be problematised, in order to ascertain whether they contain theological, conservative and authoritarian traits incompatible with the conceptual and substantial unity intrinsic to the Rule of Law. (shrink)

Este artigo tem como objetivo principal investigar a relação existente entre a percepção da felicidade dos brasileiros, sua satisfação com a vida e a satisfação com o regime democrático no período de 2017 a 2020. Nossa hipótese de trabalho postula que o declínio da felicidade e da satisfação com a vida, de uma forma geral, guarda relação de associação com a satisfação com a democracia e suas instituições. Assim, o artigo sugere que felicidade e democracia no Brasil são duas variáveis (...) associadas que ajudam a explicar em parte as fragilidades de nosso regime democrático e devem ser foco de atenção de nossas políticas públicas. A base empírica deste artigo é a sétima onda da Pesquisa Mundial de Valores (WVS, 2017-2020), por meio de pesquisa quantitativa, tipo survey, que utilizaremos para demonstrar nosso argumento. (shrink)

Compreender a violência na sociedade contemporânea requer o mapeamento dos fatores geradores de atos violentos bem como sua prevenção por meio de políticas públicas e de processos educacionais. Este artigo traz algumas reflexões sobre a racionalidade comunicativa e a violência escolar no contexto da crescente exclusão social e a crise de horizontes utópicos para a construção da educação e da formação de sujeitos de direitos. A abordagem metodológica está ancorada na perspectiva da análise de conteúdo de Laurence Bardin (2016), do (...) documento ‘Violência escolar e bullying: relatório sobre a situação mundial’, publicado pela Organização das Nações Unidas para a Educação, a Ciência e a Cultura (UNESCO). São analisadas as pretensões de validade das informações e dos dados considerados relevantes por meio da elaboração de dois eixos principais para analisar a violência escolar apresentada no relatório: a) definições e amparos legais; b) impactos e principais desafios sobre a violência escolar e o bullying. Nessa perspectiva, recorreremos à Racionalidade Comunicativa, ponto central da Teoria do Agir Comunicativo, de Jürgen Habermas, para refletir sobre os achados e saber quais as bases consideradas relevantes para se construir uma educação para a paz alicerçada no diálogo e no entendimento. (shrink)

Apresentaremos as possíveis aplicações pedagógicas das suas reflexões, como a utilização da imprecisão científica de Heisenberg e da concepção de técnica em Heidegger, a partir da análise histórico-filosófica dos seus escritos, tomando-os como fundamentação a necessária e significativa melhoria da educação técnico-científica.

Primeiramente fazemos uma breve discussão sobre a concepção defendida por Gramsci acerca do que caracteriza um intelectual, bem como sua função social nas distintas formações sociais, como desdobramento de tal reflexão do autor sardo, apresentamos sua conhecida distinção, operada no “Caderno 12”, entre os „intelectuais tradicionais‟ e os „intelectuais orgânicos‟ destacando sua práxis social. Por fim, valendo-nos dos escritos do autor no “Caderno 13”, ressaltamos a importância do intelectual orgânico na constituição do partido revolucionário.First we give a brief discussion about (...) the concept advocated by Gramsci about what characterizes an intellectual as well as its social function in different social formations, as a consequence of such a reflection of the author Sardinian, presented his famous distinction, operated in the "Notebook 12" between the 'traditional intellectuals' and 'organic intellectuals' highlighting its social praxis. Finally, drawing upon the writings of the author in "Notebook 13", highlight the importance of the organic intellectual in the constitution of the revolutionary party. (shrink)

We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)

This article proposes a reflection on the persistence of Nazi jurisdictional models in contemporary legal theory, briefly comparing the work of authors such as Wolf, Larenz, Schmitt, Dworkin and Alexy. It aims to demonstrate the authoritarian and radically undemocratic character of certain theoretical constructions used in adjudication, particularly in Brazil. For this purpose, three representative judicial decisions from 2016 are analyzed, highlighting typical structural features of Nazi legal theory which remain accepted by current legal theory, such as the disregard for (...) legality, the personification of the community as judge and the appeal to social values which are taken as self-evident. (shrink)

We generalize a previous result about dynamically consistent menu preferences to the case where preferences are not necessarily complete. We show that, as it is the case when preferences are complete, a subjective state space version of dynamic consistency is linked to a comparative theory of preference for flexibility. In words, an objective signal is interpreted as an event in the agent’s subjective state space and the agent acts in a dynamically consistent way after that if and only if we (...) can attribute all the differences between the agent’s preferences before and after the signal to the fact that the agent values flexibility more before the signal than after. (shrink)

O objetivo deste artigo é discutir o modo como Husserl desenha a originalidade da subjetividade transcendental, frente à sua homônima psicológica. Se é certo que a noção de “imanência autêntica” pode apontar para as diferentes fronteiras entre o transcendental e o psicológico, resta que por si só ela não permite decidir nada quanto ao “modo de ser” transcendental, em sua diferença face ao “mundano”. Sendo assim, procura-se reconstituir alguns dos momentos centrais do esforço husserliano para construir um conceito de “subjetivo” (...) e de “subjetividade” que não se confunda mais com o “psíquico” da psicologia tradicional. (shrink)

Este trabalho pretende comentar a doutrina que Merleau-Ponty expõe, em seus distintos períodos, sobre o que caracteriza a obra clássica e sua interpretação. Aponta-se como pressupostos dessa doutrina a admissão de uma certa filosofia da linguagem, bem como de uma particular teoria da produtividade. Em função disso, pergunta-se se, efetivamente, foi feita, ali, uma crítica radical da "filosofia da consciência", como usualmente se supõe.  .

This book addresses the issue of determinism in Avicenna and Averroes through an analysis of their views on chance, matter and divine providence. It sets the debate against the philosophical/historical background of Aristotelianism, Neoplatonism and Islamic theology.

Lean is a new open source theorem prover being developed at Microsoft Research and Carnegie Mellon University, with a small trusted kernel based on dependent type theory. It aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. Lean is an ongoing and long-term effort, but it already provides many useful components, integrated development environments, and a rich API (...) which can be used to embed it into other systems. It is currently being used to formalize category theory, homotopy type theory, and abstract algebra. We describe the project goals, system architecture, and main features, and we discuss applications and continuing work. (shrink)

Formal verification involves the use of logical and computational methods to establish claims that are expressed in precise mathematical terms. These can include ordinary mathematical theorems, as well as claims that pieces of hardware or software, network protocols, and mechanical and hybrid systems meet their specifications. In practice, there is not a sharp distinction between verifying a piece of mathematics and verifying the correctness of a system: formal verification requires describing hardware and software systems in mathematical terms, at which point (...) establishing claims as to their correctness becomes a form of theorem proving. Conversely, the proof of a mathematical theorem may require a lengthy computation, in which case verifying the truth of the theorem requires verifying that the computation does what it is supposed to do. The gold standard for supporting a mathematical claim is to provide a proof, and twentieth-century developments in logic show most if not all conventional proof methods can be reduced to a small set of axioms and rules in any of a number of foundational systems. With this reduction, there are two ways that a computer can help establish a claim: it can help find a proof in the first place, and it can help verify that a purported proof is correct. Automated theorem proving focuses on the “finding” aspect. Resolution theorem provers, tableau theorem provers, fast satisfiability solvers, and so on provide means of establishing the validity of formulas in propositional and first-order logic. Other systems provide search procedures and decision procedures for specific languages and domains, such as linear or nonlinear expressions over the integers or the real numbers. Architectures like SMT combine domain-general search methods with domain-specific procedures. Computer algebra systems and specialized mathematical software packages provide means of carrying out mathematical computations, establishing mathematical bounds, or finding mathematical objects. A calculation can be viewed as a proof as well, and these systems, too, help establish mathematical claims. Automated reasoning systems strive for power and efficiency, often at the expense of guaranteed soundness. Such systems can have bugs, and it can be difficult to ensure that the results they deliver are correct. In contrast, interactive theorem proving focuses on the “verification” aspect of theorem proving, requiring that every claim is supported by a proof in a suitable axiomatic foundation. This sets a very high standard: every rule of inference and every step of a calculation has to be justified by appealing to prior definitions and theorems, all the way down to basic axioms and rules. In fact, most such systems provide fully elaborated “proof objects” that can be communicated to other systems and checked independently. Constructing such proofs typically requires much more input and interaction from users, but it allows us to obtain deeper and more complex proofs. The Lean Theorem Prover aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. The goal is to support both mathematical reasoning and reasoning about complex systems, and to verify claims in both domains. (shrink)

The ethics of autonomous vehicles has received a great amount of attention in recent years, specifically in regard to their decisional policies in accident situations in which human harm is a likely consequence. Starting from the assumption that human harm is unavoidable, many authors have developed differing accounts of what morality requires in these situations. In this article, a strategy for AV decision-making is proposed, the Ethical Valence Theory, which paints AV decision-making as a type of claim mitigation: different road (...) users hold different moral claims on the vehicle’s behavior, and the vehicle must mitigate these claims as it makes decisions about its environment. Using the context of autonomous vehicles, the harm produced by an action and the uncertainties connected to it are quantified and accounted for through deliberation, resulting in an ethical implementation coherent with reality. The goal of this approach is not to define how moral theory requires vehicles to behave, but rather to provide a computational approach that is flexible enough to accommodate a number of ‘moral positions’ concerning what morality demands and what road users may expect, offering an evaluation tool for the social acceptability of an autonomous vehicle’s ethical decision making. (shrink)

Nesse ensaio destacamos alguns elementos do horizonte filosófico diltheyano para pensar a educação. Dilthey se insere no território da educação, via pedagogia, pois considerava que a filosofia representa um instrumento teórico que serve de guia para a ação social do homem ou, em outras palavras, para a atividade pedagógica. Segundo nossa perspectiva, a educação é o principal objetivo da filosofia, pois a formação humana tem culminância no filosofar e este é efeito daquela, além disso, a filosofia diltheyana faz sua reflexão (...) sobre pedagogia e sua cientificidade possível, tendo como contexto o confronto com o positivismo do século XIX e a fundação das ciências do espírito em contraposição às da natureza. É nesse sentido, que o problema da consciência histórica - e sua finitude, articula a autonomia da pedagogia, sem a influência do empirismo científico e as exigências da pedagogia tradicional. (shrink)

Normal 0 21 false false false MicrosoftInternetExplorer4 Este trabalho objetiva assinalar as pressões sociais e os valores culturais que participam do processo de construção das identidades brasileiras na sociedade hipermoderna das grandes cidades por meio da análise de um representante dela, que é o universo publicitário. Irei descrever alguns dos resultados encontrados em minha tese de doutorado (2007) em que, ao analisar as estratégias emocionais de persuasão publicitá­rias mais utilizadas nas revistas de maior circulação do país, levantei os conteúdos ideológicos (...) empregados nesses anúncios e, neste momento quero refletir sobre os possíveis modos de convivência social promovi­dos pelas identidades que são ressaltadas. Os meios de comunicação social são fonte de influência e manutenção de modos de viver, logo representam material rico de reflexão para se compreender os impasses dos relacionamentos sociais contemporâneos. Palavras-chave: identidade, publicidade, sociedade, hipermodernidade. (shrink)

resumo O objetivo deste artigo é discutir o modo como Husserl desenha a originalidade da subjetividade transcendental, frente à sua homônima psicológica. Se é certo que a noção de “imanência autêntica” pode apontar para as diferentes fronteiras entre o transcendental e o psicológico, resta que por si só ela não permite decidir nada quanto ao “modo de ser” transcendental, em sua diferença face ao “mundano”. Sendo assim, procura-se reconstituir alguns dos momentos centrais do esforço husserliano para construir um conceito de (...) “subjetivo” e de “subjetividade” que não se confunda mais com o “psíquico” da psicologia tradicional. palavras-chave subjetividade – psique – fenômeno – noema – transcendental. (shrink)